Comparing axiomatizations of free pseudospaces
نویسندگان
چکیده
منابع مشابه
Comparing axiomatizations of free pseudospaces
Independently and pursuing different aims, Hrushovski and Srour [3] and Baudisch and Pillay [1] have introduced two free pseudospaces that generalize the well know concept of Lachlan’s free pseudoplane. In this paper we investigate the relationship between these free pseudospaces, proving in particular, that the pseudospace of Baudisch and Pillay is a reduct of the pseudospace of Hrushovski and...
متن کاملCut–Free Axiomatizations for Stratified Modal Fixed Point Logic
We present an infinitary and a finitary cut–free axiomatization for a fragment of the modal μ–calculus in which nesting of fixed points is restricted to non–interleaving occurrences. In this study we prove soundness and completeness of both axiomatizations. Completeness is established by constructing a canonical countermodel to any non– provable formula using an extension of the method of satur...
متن کاملAxiomatizations of Interval Logics
Interval logic has been introduced as a temporal logic that provides higher-level constructs and an intuitive graphical representation, making it easier in interval logic than in other temporal logics to specify and reason about concurrency in software and hardware designs. In this paper we present axiomatizations for two propositional interval logics and relate these logics to Until Temporal L...
متن کاملAxiomatizations of Fuzzy Attribute Logic
We study fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets (non-sharp collections) of attributes. A formula A ⇒ B is true in a data table with fuzzy attributes iff each object having all attributes from A has also all attributes from B, membership degrees of A and B playing a role of thresholds. We present a set of axioms and prove s...
متن کاملAxiomatizations of the Euclidean Compromise
The utopia point of a multicriteria optimization problem is the vector that specifies for each criterion the most favorable feasible value. The Euclidean compromise solution in multicriteria optimization is a solution concept that assigns to a feasible set the alternative with minimal Euclidean distance to the utopia point. This paper provides several axiomatic characterizations of the Euclidea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 2009
ISSN: 0933-5846,1432-0665
DOI: 10.1007/s00153-009-0140-8